assertion checker